How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·13h·
Discuss: DEV
🔬Refinement Types
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·11h·
Discuss: Hacker News
🔗Functional Compilers
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
📝Concrete Syntax
Advent of Code: Libraries
elly.town·1d
🔒Type Safety
SWE-Bench Failures: When Coding Agents Spiral into 693 Lines of Hallucinations
surgehq.ai·2h·
Discuss: Hacker News
🔓Reverse engineering
haskell/mtl
github.com·22h
🔗Functional Compilers
Bitrig's Swift Interpreter: From Code to Bytecode
bitrig.app·2d·
Discuss: Hacker News
🔧Binary Parsers
Efficient evaluation of expressions specified in the GO runtime
reddit.com·17h·
Discuss: r/golang
🔗Functional Compilers
Cactus Language • Mechanics 1
inquiryintoinquiry.com·5h
📝Concrete Syntax
How to join the desync endgame: Practical tips from pentester Tom Stacey
portswigger.net·7h
🛣️BGP Hijacking
Python 3.14.0rc3 is go!
blogger.com·11h
🌳Incremental Parsing
Scrub It Out! Erasing Sensitive Memorization in Code Language Models via Machine Unlearning
arxiv.org·19h
🧪Binary Fuzzing
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5h·
Discuss: Hacker News
🔗Functional Compilers
How I hacked the Placement portal of my college to leak the entire SQL database
infosecwriteups.com·16h
🗄️Database Internals
Issue 490
haskellweekly.news·11h
🔗Functional Compilers
Carbon Copy No.8: Classes Part II
github.com·16h·
Discuss: Hacker News
🎯Gradual Typing
Unusual Memory Bit Patterns | Software Verify
softwareverify.com·16h
🧠Separation Logic
CHMLib 0.40a Integer Overflow in _unmarshal_int32 / _unmarshal_uint32 During CHM Header Parsing
seclists.org·2d
✅Format Verification
Design Tradeoffs at the Edge
usenix.org·2h·
Discuss: Hacker News
🌐DNS over QUIC
Exploring Uploads in a Dshield Honeypot Environment [Guest Diary], (Thu, Sep 18th)
isc.sans.edu·22h
🦠Malware Analysis